Basic research

Results: 2119



#Item
591

BRICS RS-07-3 Aceto et al.: Ready To Preorder: Get Your BCCSP Axiomatization for Free! BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-26 16:46:25
    592

    BRICS Basic Research in Computer Science BRICS RSDanvy & Nielsen: A First-Order One-Pass CPS Transformation A First-Order One-Pass

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 2002-01-21 10:15:50
      593

      BRICS Basic Research in Computer Science BRICS RS-98-9 Z. Yang: Encoding Types in ML-like Languages

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 1998-07-27 08:15:59
        594

        BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: CoFI: The Common Framework Initiative

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 1998-01-15 11:31:25
          595

          BRICS Basic Research in Computer Science BRICS DS-98-1 O. I. Hougaard: The CLP(OIH) Language

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 1999-03-24 05:39:59
            596

            BRICS Basic Research in Computer Science BRICS RS-04-8 Janˇcar & Srba: Highly Undecidable Questions for Process Algebras

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2004-04-30 03:46:48
              597

              BRICS RSGerhardy & Kohlenbach: Strongly Uniform Bounds from Semi-Constructive Proofs BRICS Basic Research in Computer Science

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2005-01-19 18:59:24
                598

                BRICS Basic Research in Computer Science BRICS RSDamg˚ard & Jurik: Generalisation and Applications of Paillier’s Probabilistic Public-Key System A Generalisation,

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2001-02-20 08:27:27
                  599

                  BRICS Basic Research in Computer Science BRICS RSDanvy & Rhiger: A Simple Take on Typed Abstract Syntax in Haskell-like Languages A Simple Take on Typed Abstract Syntax in

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2001-02-19 02:05:43
                    600

                    BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2005-08-08 07:23:39
                      UPDATE